1. Earthbound China: a study of rural economy in Yunnan

پدیدآورنده :

کتابخانه: كتابخانه وزارت امور خارجه (تهران)

موضوع : Agriculture - Economic aspects - China - Yunnan She

2. ‏‫‭Indo-European vocabulary in old Chinese:

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)

3. Nonlinear partial differential equations of second order,Fei hsien hsing erh chieh pien wei fen fang cheng. English

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Differential equations, Partial,، Differential equations, Nonlinear

رده :
QA
377
.
T8613
1991

4. Symbolic logic and mechanical theorem proving

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع : Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence

رده :
QA
.
C483
9
1987

5. Symbolic logic and mechanical theorem proving

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

6. The Riemann problem and interaction of waves in gas dynamics /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Differential equations, Hyperbolic-- Numerical solutions,Riemann-Hilbert problems,Shock waves

رده :
QA927
.
C5
1989

7. The Riemann problem and interaction of waves in gas dynamics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)

موضوع : ، Shock waves,، Riemann-Hilbert problems,Numerical solutions ، Differential equations, Hyperbolic

رده :
QA
927
.
C43
1989

8. The riemann problem and interaction of waves in gas dynamics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)

موضوع : Shock waves,Riemann- Hilbert problems,Differential equations,Hyperpolic- Numerical solutions

رده :
531
.
33
C456t